Section: Partnerships and Cooperations
International Initiatives
Informal International Partners
We interact regularly with the team of Prof. Thierry Coquand at University of Göteborg and Chalmers University in Sweden and the team of Prof. Julio Rubio at Universidad de La Rioja in spain.